Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
371	Oracle inequalities for computationally adaptive model selection arXiv:1208.0129v1 [stat.ML] 1 Aug[removed]Alekh Agarwal† Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-08-01 20:37:08 Algorithm Mathematical logic Computational complexity theory Computability theory Formal methods Models of computation Lambda calculus Theoretical computer science Applied mathematics Mathematics
372	Agent-Based Computational Models And Generative Social Science JOSHUA M. EPSTEIN Economic Studies, Brookings Institution, Washington, D.C., 20036, USA External Faculty, Santa Fe Institute, Santa Fe, NM, 87501, USA e-mail Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2009-11-03 11:21:54 Complex systems theory Models of computation Mathematical economics Agent-based model Scientific modeling Artificial society Generative science Joshua M. Epstein Macroeconomic model Science Knowledge Ethology
373	Real artificial life: Where we may be1 David H. Ackley Department of Computer Science University of New Mexico Abstract Add to Reading List Source URL: keys.ccrcentral.net Language: English - Date: 2014-01-25 11:26:34 Applied mathematics Natural computing Computer science Computation Computer Actor model Distributed computing Personal computer Operating system Theoretical computer science Computing Technology
374	Accepted to appear in IEE Systems Biology Symbolic Reachable Set Computation of Piecewise Aﬃne Hybrid Automata and its Application to Biological Modelling: Delta-Notch Protein Signalling Ronojoy Ghosh Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2006-11-03 02:08:52 Formal methods Hybrid automaton State transition system Computer science Cellular automata Model checking Automata theory Models of computation Theoretical computer science
375	F Formal Methods && Tools Group Stefania Gnesi F M&&T Add to Reading List Source URL: fmics.inria.fr Language: English - Date: 2003-07-04 03:48:30 Computing Computer science Model checking Automata theory Concurrent computing Calculus Finite-state machine Actor model Petri net Models of computation Formal methods Concurrency
376	Report on DIMACS∗ Workshop on Security Analysis of Protocols Date of workshop: June 7 – 9, 2004 Workshop Organizers: John Mitchell, Stanford University Ran Canetti, IBM Watson Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2005-07-27 15:21:45 Dolev-Yao model Secure multi-party computation Cryptographic primitive Formal verification Communications protocol Transport Layer Security Authentication protocol Secure channel Random oracle Cryptography Cryptographic protocols Universal composability
377	An Algorithm for Reachability Computations on Hybrid Automata Models of Protein Signaling Networks Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2007-01-10 20:11:24 Computer science Hybrid automaton State transition system Model checking Formal languages Automata theory Models of computation Theoretical computer science
378	Byzantine Agreement in the Full-Information Model in O(log n) Rounds Michael Ben-Or∗ The Hebrew University Jerusalem, Israel [removed] Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2010-02-04 10:28:34 Cryptography Theory of computation Failure Fault tolerance Probabilistic complexity theory Communications protocol Byzantine fault tolerance Randomized algorithm IP Mathematics Theoretical computer science Mathematical analysis
379	GAMSWorld and the Growing Demand for Reproducible Computational Experiments Steve Dirkse Add to Reading List Source URL: www.gams.com Language: English - Date: 2009-02-17 12:24:37 Computation Algorithm Economic model Scientific modelling Logic Epistemology Theory of computation Theoretical computer science Computability theory Mathematics
380	Appendix C Computation in R and Stan We illustrate some practical issues of simulation by fitting a single example—the hierarchical normal model for the eight schools described in Section 5.5. After some background in Add to Reading List Source URL: www.stat.columbia.edu Language: English - Date: 2013-09-18 03:45:36 Generalized linear model Bayesian statistics Exponential family Fisher information Statistics Estimation theory Normal distribution